Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000318 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Rewriting Approach to the Combination of Data Structures with Bridging Theories |
| 000425 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited |
| 000A31 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures |
| 000A32 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions |
| 000C35 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version) |
| 001040 | Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni] | Frontiers of Combining Systems |
| 005A75 | Pascal Fontaine [France] ; Silvio Ranise [France] ; Calogero Zarba [France] | Combining Lists with Non-Stably Infinite Theories |
| This area was generated with Dilib version V0.6.33. |  |